Matching and Merging of Variant Feature Specifications
نویسندگان
چکیده
منابع مشابه
Merging Behavior Specifications
This paper describes a method for merging behavior specifications modeled by transition systems. Given two behavior specifications B1 and B2, Merge(B1, B2) defines a new behavior specification that extends B1 and B2. Moreover, provided that a necessary and sufficient condition holds, Merge(B1, B2) is a cyclic extension of B1 and B2. In other words, Merge(B1, B2) extends B1 and B2, and any cycli...
متن کاملMerging Feature Models
In this paper, we consider the problem of merging feature models which consist of trees with "requires" and "excludes" constraints. For any two such feature models which are parent-compatible, their merge is defined to be the smallest parent-compatible feature model which has all products of the constituents. We show how the specification can be implemented, present a number of properties of th...
متن کاملValidating feature-based specifications
It is argued that specifications should be rigorously validated against requirements. This is useful to build confidence in a specification, and to check a specification after it or the requirements have changed. MUSTARD (Multiple-Use Scenario Test and Refusal Description) is introduced as a means of formulating and formalising validation scenarios. The practical use of MUSTARD on a number of c...
متن کاملOn Merging Object-Oriented Formal Specifications
Collaborative development allows the delegation of tasks among developers, which eases the development of complex software systems. The software artifacts created because of this collaboration need to be merged at the end of a particular development activity. To achieve this, a merging approach must be able to produce results that are correct, complete and consistent. Furthermore, the merge app...
متن کاملMatching and Merging Scenarios Automatically with Alloy
The design of large systems often involves the creation of models that describe partial specifications. Model composition is the process of combining partial models to create a single coherent model. This paper presents an automatic composition technique for creating a sequence diagram from partial specifications captured in multiple sequence diagrams with the help of Alloy. Our contribution is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2012
ISSN: 0098-5589
DOI: 10.1109/tse.2011.112